هم متناهی بودن کوهمولوژی موضعی

?عضوم لودم یژولومهوک ندوب ?هانتم مه :یهل?سو هب روپن?سح داجس -rوsتبثم و ح?حص ددع د?نک ضرف ن?نچمه .دشاب نآ زا ?لآهد?اi و یرتون یاهقلحrد?نک ضرف هک دشاب یددع ن?لواsرگا تروص ن?ا رد .دشاب دلوم ?هانتمext s r (r=i; m)هک دنشاب یاهنوگهبmلودم assh s i (m)اذلودلوم?هانتم homr (r=i; h s i (m))م?نک?متباثها?نآ،تس?ن?هانتممه-i ،h s i (m) م?هاوخ ?سرربi =1;2یارب ارext i r (r=i; m)ندوب دلوم ?هانتم ن?نچمه .تسا ?هانتم یاهعومجم .درک ن?رتگرزبnرگا .دشاب دلوم ?هانتم ?لودم-r،mو یرتون و ?عضوم یاهقلح(r;m)د?نک ضرف هب اهنت nم?هد?م ناشن ،تس?ن ?هانتممه-m،h n i (m)?عضوم لودم یژولومهوک هک دشاب ?ح?حص ددع .تسا هتسباو supp(m) لودم هاگ ه??ت،هتسباو لوا یاهلآهد?ا ،?هانتممه-iلودم ،?عضوم یژولومهوک:ید?لک یاههژاو